We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models. By appropriate combinations we capture both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. Our approach is modular and supports uniform proofs of soundness, completeness and (...) proof normalization. We have implemented our work in the Isabelle Logical Framework. (shrink)

In previous work we gave an approach, based on labelled natural deduction, for formalizing proof systems for a large class of propositional modal logics that includes K, D, T, B, S4, S4.2, KD45, and S5. Here we extend this approach to quantified modal logics, providing formalizations for logics with varying, increasing, decreasing, or constant domains. The result is modular with respect to both properties of the accessibility relation in the Kripke frame and the way domains of individuals change between worlds. (...) Our approach has a modular metatheory too; soundness, completeness and normalization are proved uniformly for every logic in our class. Finally, our work leads to a simple implementation of a modal logic theorem prover in a standard logical framework. (shrink)

Training in the responsible conduct of research (RCR) is required for many research trainees nationwide, but little is known about its effectiveness. For a preliminary assessment of the effectiveness of a short-term course in RCR, medical students participating in an NIH-funded summer research program at the University of California, San Diego (UCSD) were surveyed using an instrument developed through focus group discussions. In the summer of 2003, surveys were administered before and after a short-term RCR course, as well as to (...) alumni of the courses given in the summers of 2002 and 2001. Survey responses were analyzed in the areas of knowledge, ethical decision-making skills, attitudes about responsible conduct of research, and frequency of discussions about RCR outside of class. The only statistically significant improvement associated with the course was an increase in knowledge, while there was a non-significant tendency toward improvements in ethical decision-making skills and attitudes about the importance of RCR training. The nominal impact of a short-term training course should not be surprising, but it does raise the possibility that other options for delivering information only, such as an Internet-based tutorial, might be considered as comparable alternatives when longer courses are not possible. (shrink)

Transhumanism is a sociopolitical and intellectual movement focused on the use of technology to transform humans and the human experience. Transhumanism promises that, through the use of physical and cognitive enhancements, humans will be able to achieve the “good life.” However, understandings of “enhancement” and “the good life” vary across time, place, and culture. Additionally, the biological modification/elimination of a specific characteristic may lead to not only loss the loss of that feature, but of a specific personal identity as well. (...) The potential consequences of transhumanist enhancement suggest both that they may constitute a newer form of eugenics and that they may lead to the production of new societal inequalities. (shrink)

In some views, philosophy’s glory days in bioethics are over. While philosophers were especially important in the early days of the field, so the argument goes, the majority of the work in bioethics today involves the “simple” application of existing philosophical principles or concepts, as well as empirical work in bioethics. Here, we address this view head on and ask: What is the role of philosophy in bioethics today? This paper has three specific aims: (1) to respond to skeptics and (...) make the case that philosophy and philosophers still have a very important and meaningful role to play in contemporary bioethics, (2) to discuss some of the current challenges to the meaningful integration of philosophy and bioethics, and (3) to make suggestions for what needs to happen in order for the two fields to stay richly connected. We outline how bioethics center directors, funders, and philosopher bioethicists can help. (shrink)

Everyone has an opportunity to contribute to climate solutions. To help people engage with this opportunity, it is critical to understand how climate organizations and fundraisers can best communicate with people and win their financial support. In particular, fundraisers often rely on practical skills and anecdotal beliefs at the expense of scientific knowledge. Fundraisers could be motivated to achieve a substantial boost in funding for climate solutions, if there is evidence of the financial gains that science-based fundraising makes available. In (...) this Perspective, we provide a preliminary foray into such evidence. We bring together findings from philanthropic research and climate psychology to identify what factors can help captivate donors. Then, through an experimental study of a charitable appeal for a climate charity, we show how putting these factors into practice may contribute toward an increase in donated money. This provides optimism that evidence-based fundraising can inspire donors to contribute much-needed resources toward climate solutions. (shrink)

Women and Comedy: History, Theory, Practice brings together leading researchers from Canada, the United States, and Europe in an interdisciplinary collection of essays to chart the future of critical inquiry in gender and comedy studies.

“Only a living person can be a dying one,” writes Augustine in De ciuitate dei 13.9. For Augustine, this strange fact offers us an occasion for reflection. If we are indeed racing toward the end on a cursus ad mortem, when do we pass the finish line? A living person is “in life”, while a dead one is post mortem. But as ciu. 13.11 asks: is anyone ever in morte, “in death?” This question must be asked alongside an earlier one, (...) which had motivated Augustine’s struggle in Confessiones 11.14.17 to make sense of time from the very beginning: quid est enim tempus? What is at stake here is whether or not there is such a thing as an instant of death: a moment when someone is no longer alive but not yet dead, a moment when they are “dying” in the present tense. If we want to understand Augustine’s question about the time of death in ciu. 13, then we have to frame it in terms of the interrogation of time proper in conf. 11. (shrink)

Perceived size is a function of viewing distance, retinal images size, and various contextual cues such as linear perspective and the size and location of neighboring objects. Recently, we demonstrated that illusion magnitudes of classic visual size illusions may be greatly enhanced or reduced by adding dynamic elements. Specifically, a dynamic version of the Ebbinghaus illusion (classically considered a “size contrast” illusion) led to a greatly enhanced illusory effect, whereas a dynamic version of the Corridor illusion (a “size constancy” illusion) (...) led to a greatly diminished illusory effect. Although these differences may arise from the different processes underlying these illusions (size contrast vs. size constancy), the dynamic variants we tested in our previous work also differed in the nature of the dynamic elements; specifically, whereas the Dynamic Ebbinghaus included a moving target and inducers that changed size and position, the Dynamic Corridor only included a moving target on a static background. Here, we explore further dynamic versions of the Ebbinghaus illusion and the Corridor and Ponzo illusions by separately manipulating three types of dynamic elements: target motion, context translation, and dynamic changes in context. Across five experiments examining 21 dynamic illusory configurations, adding target motion or a dynamically changing context separately resulted in little-to-no illusory effect. In contrast, the combination of target motion and a dynamically changing context led to a robust size illusion, consistent with an interactive effect. However, illusory effects that exceeded the matched classic, static illusory configuration were only observed for the dynamic versions of the Ebbinghaus illusion and the Revealed Ponzo illusions, in which the contextual elements changed size. We conclude that the combination of target motion and a dynamically changing context are necessary to produce dynamic size illusions, but that enhancement above and beyond static illusions may be largely specific to size contrast effects. Our results have important implications for the integration of motion signals, a ubiquitous environmental stimulus, in the perception of object size. (shrink)

This book is a collection of secondary essays on America's most important philosophic thinkers—statesmen, judges, writers, educators, and activists—from the colonial period to the present. Each essay is a comprehensive introduction to the thought of a noted American on the fundamental meaning of the American regime.

The Heythrop Journal, Volume 63, Issue 2, Page 324-325, March 2022.

Matthew MacKenzie’s Buddhist Philosophy and the Embodied Mind is, indeed, a constructive engagement between Indo-Tibetan Buddhism and enactive cognitive science. The book is concise and clearly wri...

Experiences of Depression is a philosophical exploration of what it is like to be depressed. In this important new book, Matthew Ratcliffe develops a detailed account of depression experiences by drawing on work in phenomenology, philosophy of mind and psychology, and several other disciplines.

In Real Hallucinations, Matthew Ratcliffe offers a philosophical examination of the structure of human experience, its vulnerability to disruption, and how it is shaped by relations with other people. He focuses on the seemingly simple question of how we manage to distinguish among our experiences of perceiving, remembering, imagining, and thinking. To answer this question, he first develops a detailed analysis of auditory verbal hallucinations (usually defined as hearing a voice in the absence of a speaker) and thought insertion (...) (somehow experiencing one's own thoughts as someone else's). He shows how thought insertion and many of those experiences labeled as "hallucinations" consist of disturbances in a person's senseof being in one type of intentional state rather than another. Ratcliffe goes on to argue that such experiences occur against a backdrop of less pronounced but wider-ranging alterations in the structure of intentionality. In so doing, he considers forms of experience associated with trauma, schizophrenia, and profound grief. The overall position arrived at is that experience has an essentially temporal structure, involving patterns of anticipation and fulfillment that are specific to types of intentional states and serve to distinguish them phenomenologically. Disturbances of this structure can lead to various kinds of anomalous experience. Importantly, anticipation-fulfillment patterns are sustained, regulated, and disrupted by interpersonal experience and interaction. It follows that the integrity of human experience, including the most basic sense of self, is inseparable from how we relate to other people and to the social world as a whole. (shrink)

In this paper, I explore how our experience of pain and suffering structure our experience over time. I argue that pain and suffering are not as easily dissociable, in living and in conceptual analysis, as philosophers have tended to think. Specifically, I do not think that there is only a contingent connection between physical pain and psychological suffering. Rather, physical pain is partially constitutive of existential suffering. My analysis is informed by contemporary thinking about pain and suffering as well as (...) Indian Buddhist philosophy. (shrink)

In _Camus, Philosophe: To Return to our Beginnings_ Matthew Sharpe reads Camus as a _philosophe_ in the classical and enlightenment lineages, arguing that his defense of _mesure_ singles him out amidst 20th century French thought and makes him of renewed relevance today.

This book follows postwar Germany's leading philosopher and social thinker, Jürgen Habermas, through four decades of political and constitutional struggle over the shape of liberal democracy in Germany. Habermas's most influential theories - of the public sphere, communicative action, and modernity - were decisively shaped by major West German political events: the failure to de-Nazify the judiciary, the rise of a powerful Constitutional Court, student rebellions in the late 1960s, the changing fortunes of the Social Democratic Party, NATO's decision to (...) station nuclear weapons, and the unexpected collapse of East Germany. In turn, Habermas's writings on state, law, and constitution played a critical role in reorienting German political thought and culture to a progressive liberal-democratic model. Matthew Specter uniquely illuminates the interrelationship between the thinker and his culture. (shrink)

Matthew Soteriou considers the kind of agency, and thus responsibility, that is involved in deciding to act, rather than in acting itself. One of his aims is to trace out connections between the notion that we occupy a tensed temporal perspective from which we regard the future as open, and the notion that we occupy a deliberative standpoint from which we act under the idea of freedom. A further aim is to suggest that identifying connections between the psychology of (...) self-determination and our temporal psychology should be central to an account of the sort of mental agency we exercise in deciding to act, and hence central to an account of what makes us responsible for our decisions. After having considered ways in which aspects of the psychology of our temporal perspective may contribute to explaining our capacity to exercise agency in deciding to act, Soteriou considers how our capacity to make decisions can contribute to explaining some of the distinctive features of the temporal perspective on the future that we occupy. In particular, he considers and responds to the suggestion that when it comes to our perspective on our future, there is a potential tension between the standpoint of theoretical reason and the standpoint of practical reason. (shrink)

We are experiencing a historical moment characterized by unprecedented conditions of virality: a viral pandemic, the viral diffusion of misinformation and conspiracy theories, the viral momentum of ongoing Hong Kong protests, and the viral spread of #BlackLivesMatter demonstrations and related efforts to defund policing. These co-articulations of crises, traumas, and virality both implicate and are implicated by big data practices occurring in a present that is pervasively mediated by data materialities, deeply rooted dataist ideologies that entrench processes of datafication as (...) granting objective access to truth and attendant practices of tracking, data analytics, algorithmic prediction, and data-driven targeting of individuals and communities. This collection of papers explores how data is figuring in the making of the discourses, lived realities, and systemic inequalities of the uneven impacts of the coronavirus pandemic. (shrink)

The idea of philosophy as a 'way of life' is not a new one. From the first recorded philosophy by Plato, there has been a tradition of thinking about philosophy as pointing us towards the good life, happiness and an ethical existence. But where does this notion that philosophy has anything to offer in terms of guiding us in how to live and live well come from? In this first ever introduction to philosophy as a way of life, Matthew (...) Sharpe and Michael Ure take us us through the history of the idea from Plato and the Buddha to Foucault, Hadot and Zizek. They examine the kinds of practical exercises each thinker recommended and practiced to transform their philosophy into manners of living and acting. Philosophy as a Way of Life also examines the recent resurgence of thinking about philosophy as a practical, lived reality and why this ancient tradition still has so much relevance and power in the contemporary world. (shrink)

How can abductive reasoning be physical, feasible, and reliable? This is Fodor’s riddle of abduction, and its apparent intractability is the cause of Fodor’s recent pessimism regarding the prospects for cognitive science. I argue that this riddle can be solved if we augment the computational theory of mind to allow for non-computational mental processes, such as those posited by classical associationists and contemporary connectionists. The resulting hybrid theory appeals to computational mechanisms to explain the semantic coherence of inference and associative (...) mechanisms to explain the efficient retrieval of relevant information from memory. The interaction of these mechanisms explains how abduction can be physical, feasible, and reliable. (shrink)

Contemporary analyses of biological function almost invariably advocate a naturalistic analysis, grounding biological functions in some feature of the mind-independent world. Many recent accounts suggest that no single analysis will be appropriate for all cases of use and that biological teleology should be split into several distinct categories. This paper argues that such accounts have paid too little attention to the way in which functional language is used, concentrating instead on the types of situation in which it is used. An (...) example of the role of teleology in science is examined and, on the basis of conclusions drawn from this, an alternative unifying analysis is proposed. It is suggested that, contrary to naturalistic accounts, teleology in biology carries no ontological commitment whatsoever to any class of mind-independent entities or properties. Instead, it is best regarded as a methodological device which is used to focus interest, formulate research perspectives and facilitate the structuring of certain questions or types of question that are pertinent in a given context of interest. (shrink)

Discussion of Marxism in the Western world since the nineteen-sixties has been dominated by a reaction against Hegelian ideas.1 This agenda has been shared equally by the analytical Marxism which has predominated in the English speaking world and by the structuralist Marxism which has been the major influence in the continental tradition. The main purpose of my own work has been to reassess these attitudes.

Cicero's letters are saturated with learned philosophical allusions and arguments. This innovative study shows just how fundamental these are for understanding Cicero's philosophical activities and for explaining the enduring interest of his ethical and political thought. Dr McConnell draws particular attention to Cicero's treatment of Plato's Seventh Letter and his views on the relationship between philosophy and politics. He also illustrates the various ways in which Cicero finds philosophy an appealing and effective mode of self-presentation and a congenial, pointed medium (...) for talking to his peers about ethical and political concerns. The book offers a range of fresh insights into the impressive scope and sophistication of Cicero's epistolary and philosophical practice and the vibrancy of the philosophical environment of the first century BC. A new picture emerges of Cicero the philosopher and philosophy's place in Roman political culture. (shrink)

An examination of the physical and sexual abuse perpetrated by Ashtanga yoga leader Pattabhi Jois and the culture, structures, and mythos that enabled it, grounded in investigative research and real survivor stories.

Hidden among the myriad nucleotide variants that constitute each species' gene pool are a few variants that contribute to phenotypic variation. Many of these differences that make a difference are non‐coding cis‐regulatory variants, which, unlike coding variants, can only be identified through laborious experimental analysis. Recently, Cowles et al.1 described a screening method that does an end‐run around this problem by searching for genes whose cis regulation varies without having to find the polymorphic nucleotides that influence transcription. While we will (...) continue to require a diverse arsenal of experimental methods, this versatile method will speed the identification of functional genetic variation. BioEssays 25:421–424, 2003. © 2003 Wiley Periodicals, Inc. (shrink)

There are reasons to suspect that meta-cognition about construing social robots as depictions would be more difficult – or absent – than Clark and Fischer discuss. Self-reports about the cognitive processes involved might therefore tend to be incomplete or inaccurate, limiting their usefulness as measures.

Since 2007, capitalism has been going through its greatest crisis since the 1930s or before. In 2008, the banking system was saved from meltdown (at least for the time being) only by extensive government intervention in the USA, Britain, and a number of other countries. Stock markets all over the world plummeted. Then the crisis spread to the ‘real’ economy. A long and deep recession followed. Only now are we perhaps beginning to see what may – or may not – (...) be fragile signs of recovery. Capitalism, it is sometimes said, has been on the verge of collapse. (shrink)

The fundamental principles of modern dialectical philosophy derive from Hegel. He sums them up as follows. ‘Everything is inherently contradictory ... Contradiction is the root of all movement and vitality, it is only in so far as something has a contradiction within it that it moves, has an urge and activity' (Hegel 1969, 439). In Hegel's philosophy these ideas form part of an all−embracing idealist system which portrays all phenomena ×− both natural and social ×− as subject to dialectic. Marx (...) inherits and transforms these ideas; but how precisely he does so has been a topic of much dispute within western Marxism. Marx himself describes his relation to Hegel with the aid of a couple of graphic but vague metaphors. He says that he turns Hegel's dialectic ‘right side up' in order to ‘discover the rational kernel within the mystical shell' (Marx 1961, 20). But how can this be done? Is there a ‘rational kernel' to Hegel's dialectic? If so, how can it be extracted? (shrink)

Hiding behind the anodyne title of this book is a work of large scope and considerable interest for the Hegelian reader. Its main purpose is to vindicate a dialectical interpretation of Marxism in the context of recent analytical Marxism. The book falls into two parts. The first contains a detailed account of the dialectical philosophy implicit in Marx's work, and of its background in the philosophies of Kant and Hegel. The second shows how this account of Marx's approach can be (...) used to resolve some of the major issues in Marxist philosophy and to illuminate some of the central topics in Marxist social, political and economic thought. (shrink)

Le pas d'acier was conceived in 1925 at the height of enthusiasm for the Russian Revolution both in Russia and abroad. Prokofiev intended the ballet to `show the new life that had come to the Soviet Union, and primarily the construction effort.' He quotes Yakulov as saying that the ballet would portray `the uplifting influence of organised labour.' (Prokofiev 1991, 278). In its theme and its staging it is a celebration of industry and labour.